modal logic meaning
Meaning
Mobile
- Noun: modal logic
- The logical study of necessity and possibility
- A system of logic whose formal properties resemble certain moral and epistemological concepts
Derived forms: modal logics
Type of: formal logic, logic, mathematical logic, symbolic logic
Encyclopedia: Modal logic
[Computer]
<logic> An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly A, probably A, it has always been true that A, it is permissible that A, it is believed that A.
"It is necessarily true that A" means that things being as they are, A must be true, e.g.
"It is necessarily true that x=x" is TRUE
while
"It is necessarily true that x=y" is FALSE
even though "x=y" might be TRUE.
Adding modal operators and , meaning, respectively, henceforth and hitherto leads to a "temporal logic".
Flavours of modal logics include: Propositional Dynamic Logic (PDL), Propositional Linear Temporal Logic (PLTL), Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Hennessy-Milner Logic, S1-S5, T.
C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the modern analysis of modality. He developed the logical systems S1-S5. JCC McKinsey used algebraic methods (Boolean algebras with operators) to prove the decidability of Lewis' S2 and S4 in 1941. Saul Kripke developed the relational semantics for modal logics (1959, 1963). Vaughan Pratt introduced dynamic logic in 1976. Amir Pnuelli proposed the use of temporal logic to formalise the behaviour of continually operating concurrent programs in 1977.
Examples
- Some problems in generalized modal logic
- On quine's criticism about the modal logic
- A study of chinese information filtering based modal logic
- Diversified sight of modern modal logic
- The last philosophical home of modal logic
- Fuzzy modal logic and its basic systems
- Formal reasoning system based on fuzzy propositional modal logic
- Anti essentialism in modal logic
- The proofs based on back and forth method for two theorems in modal logic
- Intensionality of modal logic for ambient calculus with restricted replication
Other Languages
- "modal logic" meaning in Chinese: 模态逻辑学
- "modal logic" meaning in Japanese: 様相論理(学){ようそう ろんり(がく)}
- "modal logic" meaning in Russian: модальная логика
Related
What is the meaning of modal logic and how to define modal logic in English? modal logic meaning, what does modal logic mean in a sentence? modal logic meaning,modal logic definition, translation, pronunciation, synonyms and example sentences are provided by eng.ichacha.net.